$\forall$$g$:Mon. ($g$$\downarrow$set) $\in$ DSet